Explore the world of open source Flash and discover which tools are available. Learn how to identify which tool you need ...
Lire la suiteThis book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to ...
Lire la suiteThe first step towards success in a software project is to ensure a professional setup. This includes a metrics-based formal ...
Lire la suite"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being ...
Lire la suiteThis book constitutes the 14th edition of the annual Multi-Agent Programming Contest, MAPC 2019, and presents its participants. The ...
Lire la suiteThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Lire la suiteThe authors, a uniquely skilled team of longtime industry experts, detail how you can build privacy into products, processes, ...
Lire la suiteThe papers included in this volume cover a broad spectrum of important safety issues. They provide a combination of industrial ...
Lire la suiteThe book is organized in topical sections on agents, application ontologies, applications, formal languages, foundational ...
Lire la suite"The Testing Network" presents an integrated approach to testing based on cutting-edge methodologies, processes and tools ...
Lire la suiteThis book cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification ...
Lire la suiteThe aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present ...
Lire la suiteIs there nothing more to programming? How can you develop your skill if all you do is hunt for the prescribed routine in ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Lire la suiteThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThis two-books set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction ...
Lire la suiteThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms ...
Lire la suite